منابع مشابه
Cleanroom Software Development
The 'cleanroom software development process is a new IBM technical and organizational approach to developing software with certifiable reliability. Key ideas behind the process are well structured software specifications, randomized testing methods and the, introduction of statistical controls; but the main point is to deny entry for defects during the development of software. This latter point...
متن کاملIntegrating Z and Cleanroom
We describe an approach to integrating the Z specification notation into Cleanroom-style specification and verification. In a previous attempt, a group at IBM used formal refinement of the Z in their development. They concluded that this was not cost-effective in a commercial environment, and the attempt was not judged successful. The current approach avoids formal refinement, and instead begin...
متن کاملTailoring Cleanroom for Industrial Use
aytheon Systems Company, a defense electronics firm, typifies many US Defense Department environments in its strong, process-oriented development strategy. The company has been actively engaged in software process improvement at the organizational and project levels for over a decade. Raytheon bases its efforts on the Software Engineering Institute's Capability Maturity Model, and our segment o...
متن کاملDemand Controlled Filtration in an Industrial Cleanroom
In an industrial cleanroom, significant energy savings were realized by implementing two types of demand controlled filtration (DCF) strategies, one based on particle counts and one on occupancy. With each strategy the speed of the recirculation fan filter units was reduced to save energy. When the control was based on particle counts, the energy use was 60% of the baseline configuration of con...
متن کاملThe Cleanroom Approach to Quality Software Development
It sounds good when knowing the the cleanroom approach to quality software development in this website. This is one of the books that many people looking for. In the past, many people ask about this book as their favourite book to read and collect. And now, we present hat you need quickly. It seems to be so happy to offer you this famous book. It will not become a unity of the way for you to ge...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Microelectronic Engineering
سال: 2020
ISSN: 0167-9317
DOI: 10.1016/j.mee.2020.111239